Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
301	NRO APPROVED FOR RELEASE 10 JUNE[removed]SPECIAL HANDLING S Add to Reading List Source URL: www.nro.gov Language: English - Date: 2014-07-29 10:43:56 Cons Functional programming Lisp programming language Declarative programming Computer programming Software engineering
302	Learning Techniques for Pseudo-Boolean Solving Jos´e Santos IST/UTL, INESC-ID, Portugal Vasco Manquinho IST/UTL, INESC-ID, Portugal Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-12 11:31:22 Applied mathematics Boolean satisfiability problem Constraint learning Local consistency Linear programming Solver GRASP Logic programming Constraint satisfaction Theoretical computer science Constraint programming Declarative programming
303	New Features of the SAT’04 versions of zChaff Zhaohui Fu Yogesh Mahajan Sharad Malik Department of Electrical Engineering Princeton University {zfu,yogism,sharad}@EE.Princeton.EDU Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2004-05-13 15:08:40 Declarative programming Constraint programming Clause Predicate logic Propositional calculus Logic in computer science Boolean satisfiability problem Theoretical computer science Logic programming Mathematical logic
304	The Declarative Imperative Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein University of California, Berkeley [removed] Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-11-21 20:38:00 Computer programming Programming paradigms Datalog Prolog Logic programming SQL Actor model Distributed computing Predicate Computing Software engineering Query languages
305	Hydra: A Declarative Approach to Continuous Integration1 Eelco Dolstra, Eelco Visser Department of Software Technology, Faculty of Electrical Engineering, Mathematics and Computer Science (EWI), Delft University of Techn Add to Reading List Source URL: nixos.org Language: English - Date: 2008-12-16 08:48:10 Build automation Functional programming Nix package manager Continuous integration Linux From Scratch GNU bison Make Debian Package management system Software Cross-platform software Compiling tools
306	Santa by Steven Casey Begin with a square white side up. b a Add to Reading List Source URL: www.josephwu.com Language: English - Date: 2000-04-27 19:56:38 Software engineering Paper folding Functional programming Declarative programming Fold Anamorphism Origami Yoshizawa-Randlett system Structural geology
307	A Declarative Sensornet Architecture Arsalan Tavakoli† , David Chu† , Joseph M. Hellerstein† , Phillip Levis‡ , and Scott Shenker† † UC Berkeley EECS Dept. Berkeley, California 94720 Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-01-05 13:25:19 Linguistics SQL NesC Logic programming TinyOS Extension Predicate Computing Software engineering Programming paradigms
308	Building and Optimizing Declarative Networked Systems by David Chiyuan Chu B.S. (University of Virginia[removed]M.S. (University of California, Berkeley) 2005 Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-01-05 13:48:01 Programming language implementation Declarative programming Program optimization Embedded system Compiler Client–server model Joseph M. Hellerstein Software engineering Computing Software
309	The Righteous Mind: Why Good People are Divided by Politics and Religion Official Crib Sheet Part I: Intuitions come first, strategic reasoning second --Central Metaphor: The mind is divided, like a rider on an elephant, Add to Reading List Source URL: www.csgmidwest.org Language: English - Date: 2013-07-25 12:10:39 Computer programming Software engineering Morality Cons Is–ought problem Ethics Declarative programming Meta-ethics
310	AFLCMC-WP_Expiring-8(a)_Public Release_v2.xlsx Add to Reading List Source URL: www.afmc.af.mil Language: English - Date: 2014-08-05 15:25:34 Computer programming CAR and CDR Cons Kirtland Air Force Base Government procurement in the United States Lisp programming language New Mexico Declarative programming

UPDATE